| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Repositório | sid.inpe.br/iris@1916/2005/12.15.13.53 |
| Última Atualização | 2006:01.09.10.46.00 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/iris@1916/2005/12.15.13.53.31 |
| Última Atualização dos Metadados | 2018:06.05.01.16.30 (UTC) administrator |
| Chave Secundária | INPE-10438-PRE/5930 |
| Chave de Citação | FrancêsVijSanCarSan:2005:SpCoSy |
| Título | On specifying complex systems through Stochastic Statecharts for Performance Analysis  |
| Formato | Papel; On-line. |
| Projeto | Modelagem computacional de sistemas complexos e não lineares |
| Ano | 2005 |
| Data de Acesso | 18 maio 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 326 KiB |
| 2. Contextualização | |
| Autor | 1 Francês, Carlos Renato Lisboa 2 Vijaykumar, Nandamudi Lankalapalli 3 Santana, Marcos José 4 Carvalho, Solon Venâncio de 5 Santana, Regina Helena Carlucci |
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHTU 3 4 8JMKD3MGP5W/3C9JJ99 |
| Grupo | 1 2 LAC-INPE-MCT-BR 3 4 LAC-INPE-MCT-BR |
| Afiliação | 1 Universidade Federal do Pará. Departamento de Engenharia Elétrica (UFPA) 2 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada, (INPE, LAC) 3 Universidade de São Paulo. Instituto de Ciências de Matemática e Computação (USP.ICMC) 4 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada, (INPE, LAC) 5 Universidade de São Paulo. Instituto de Ciências de Matemática e Computação (USP.ICMC) |
| Endereço de e-Mail do Autor | 1 rfrances@ufpa.br 2 vijay@lac.inpe.br 3 mjs@icmc.sc.usp.br 4 solon@lac.inpe.br 5 rcs@icmc.sc.usp.br |
| Nome do Evento | Proceedings of Brazilian Conference of Operation Research (SBPO), 37 |
| Localização do Evento | Gramado, RS |
| Data | 27 - 30 Sept. |
| Páginas | 12 |
| Título do Livro | Proceedings |
| Histórico (UTC) | 2006-01-09 10:51:28 :: simone -> administrator :: 2006-11-09 19:00:41 :: administrator -> simone :: 2008-01-11 15:36:02 :: simone -> administrator :: 2018-06-05 01:16:30 :: administrator -> marciana :: 2005 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | COMPUTER SCIENCE Performance models Statecharts specification Analytical approach Markov chains Simulation COMPUTER SCIENCE Modelos de performance Cadeia de Markov Simulação |
| Resumo | Performance evaluation of complexsystems is an essential issue nowadays. Evaluation maybe obtained from both simulation and analytical approaches. However,one of the presentimportanttopics is towards the specification of complex systems which are reactive by nature. Specification techniques include state- transition diagrams,queueing networks,Petri nets and recentlyStatecharts have been introduced as another approachto representcomplexsystems and obtain performance analysis based on analytical methods. The paper discussed here is also based on Statecharts representation by providing stochastic features to the specification technique. The idea is to associate the specification technique to a solution thatgenerates performance measures. Simulation solution is commented in a case study of a distributed programming environmentbased on PVM (Parallel Virtual Machine). |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > On specifying complex... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/sid.inpe.br/iris@1916/2005/12.15.13.53 |
| URL dos dados zipados | http://urlib.net/zip/sid.inpe.br/iris@1916/2005/12.15.13.53 |
| Idioma | en |
| Arquivo Alvo | Sbpo2005.pdf |
| Grupo de Usuários | administrator simone |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Permissão de Leitura | allow from all |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 sid.inpe.br/mtc-m21/2012/07.13.15.00.34 1 |
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress publisher publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |